例句與造句

1. Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
   根據(jù)形式邏輯的歸結(jié)反演原理，本文給出了一階謂詞邏輯的petri網(wǎng)推理的方法，實(shí)現(xiàn)了語(yǔ)義網(wǎng)絡(luò)的petri網(wǎng)推理。
2. It's difficult to find resolution refutation in a sentence. 用resolution refutation造句挺難的